56. <A> Concise introduction to pure mathematics
پدیدآورنده : \ Martin Liebeck.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
57. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Nonstandard mathematical analysis, Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K36
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
58. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Nonstandard mathematical analysis,، Mathematical analysis,، Functional analysis,، Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K2
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
59. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
![](/design/images/bookmore.png)
60. Algebra, logic, and combinatorics
پدیدآورنده : \ editors, Shaun Bullett, Queen Mary University of London, UK, Tom Fearn, University College London, UK, Frank Smith, University College London, UK.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Combinatorial analysis.,Differential equations.,جبر,منطق ریاضی ,آنالیز ترکیبی
رده :
QA155
.
A525
2016
E-book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)